Kripke's Wittgenstein